- закон перестановки посылок
- Mathematics: law of alteration of premises
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
Натуральное исчисление — исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического … Большая советская энциклопедия
Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… … Энциклопедия эпистемологии и философии науки
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
Соловьев, Владимир Сергеевич — знаменитый философ и публицист. Род. 16 января 1853 г. Отец его знаменитый историк (см.); мать происходит из малороссийской дворянской семьи Романовых. Двоюродным прадедом С. с материнской стороны был известный украинский философ Сковорода (см.) … Большая биографическая энциклопедия
Соловьев Владимир Сергеевич — I знаменитый философ и публицист. Род. 16 января 1853 г. Отец его знаменитый историк (см. ниже); мать происходит из малороссийской дворянской семьи Романовых. Двоюродным прадедом С. с материнской стороны был известный украинский философ Сковорода … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… … Энциклопедия Кольера